semiring of sets